Journal of Automated Reasoning
Journal of Automated Reasoning > 2019 > 62 > 1 > 1-68
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167
Journal of Automated Reasoning > 2019 > 62 > 1 > 69-91
Journal of Automated Reasoning > 2019 > 62 > 1 > 93-126